6

A Synchronous Approach for Numerical Simulation of Machine Tools

Year:
2015
Language:
english
File:
PDF, 578 KB
english, 2015
46

Formal analysis of imprecise system requirements with Event-B

Year:
2016
Language:
english
File:
PDF, 1.66 MB
english, 2016